Proving Possibility Properties
نویسنده
چکیده
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA (Temporal Logic of Actions) specifications.
منابع مشابه
Cosmological argument in proving the existence of God from Imam Khomeini's (RA) point of view
This article reviews Cosmological argument in proving the existence of God from the viewpoint of Imam Khomeini (RA). At first, various views to the existence of God are reviewed and then its etymology will be reviewed. Cosmological argument proves God through universal premises about truth and world and and the Movement Argument, Casual Argument and Necessity and Possibility Argument are dif...
متن کاملThe Argument of Possibility and necessity encountering the critiques of Russell, Hume, and Kant
The argument of possibility and necessity- which is considered as some of the most important arguments in proving the existence of God - have taken a key place in humanschr('39') thoughts. In history, among thinkers related to the creation of the universe, no major philosopher or thinker can be found other than those who have faced this argument; thus this argument has met many criticisms an...
متن کاملSome Proof Theoretic Considerations in Intuitionistic Propositional Modal Logic
Formalizations of different logics can serve as foundations for reasoning about various properties of both hardware and software systems. Intuitionistic modal logics, featuring operators encoding possibility and necessity, have recently found applications in hardware verification as well as proposed type systems for staged computation and distributed computing. We propose several novel sequent ...
متن کاملList automata with syntactically structured output
A new type of abstract automaton is introduced, and both formal and linguistic implications are discussed, most importantly a new possibility of proving certain formal properties of (natural) languages and their grammars (such as context-freeness) and of refinement of the Chomsky hierarchy.
متن کاملModels for Weighted Aggregation of Fuzzy Relations to Multicriteria Decision Making Problems
Aggregation of fuzzy relations on alternatives with the help of aggregation operators is considered in two cases: – the weighted coefficients of the criteria are not present in the mathematical formula of the aggregation operators; – a fuzzy preference relation between the criteria importance is given. The main result consists in proving the properties of the aggregated relation in dependence w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 206 شماره
صفحات -
تاریخ انتشار 1998